Peter J. Landin (1930-2009)

The Peter Landin prize

The Peter Landin prize honours the best paper presented at each year’s International Symposium on the Implementation and Application of Functional Languages (IFL). It has been awarded every year since 2003, and covers a range of topics including functional operating systems, static analysis for cost information of functional programs, techniques to improve array processing for data locality and...

Prehistory of Programming Languages

Machines @article{ pl:secd, author="Peter J. Landin", title="The mechanical evaluation of expressions", journal="Computer Journal", year=1964,

An Algebraic Characterisation of Concurrent Composition

I was invited by Olivier Danvy and Carolyn Talcott to contribute to this special issue of Higher Order and Symbolic Computation in honour of Peter Landin. They were keen to include some technical contributions, and I recalled my very first piece of theoretical work, which had only appeared as a 1981 Queen Mary College technical report, and which seemed as if it might be appropriate for several ...

Leon Rosenfeld and the challenge of the vanishing momentum in quantum electrodynamics

Leon Rosenfeld published in 1930 the first systematic Hamiltonian approach to Lagrangian models that possess a local gauge symmetry. The application of this formalism to theories with local internal symmetries, such as electromagnetism in interaction with charged matter fields, is valid and complete, and predates by two decades the work by Dirac and Bergmann. Although he provided a group-theore...

کنش های وهابی و واکنش های سلفی: شیخ محمود شُکری‌ وجنبش سلفی عراق (1930- 1745)